Bookmarks
Bookmarks Bar
- 书签管理器
STAR
- GitHub
- Google
- Google Images
- Wikipedia, the free encyclopedia
- Home - Quora
- 百度
- Google 镜像站搜集 - Techzero
- The Racket Guide
- The Racket Reference
- Lambda the Ultimate | Programming Languages Weblog
- 印象笔记
- Safari - Everyone deserves a remarkable career.
- O'Reilly
- Coursera - Free Online Courses From Top Universities
- Microsoft Research - MSR
- MOOC学院 果壳网旗下慕课学习社区
- Shadowsocks
- HaskellWiki
- 首页 - 知乎
- twitter
- Programming Languages: On-Line Offering: Lecture Notes & Videos
- Join functional programming on Slack!
- Envato Tuts+ Code Tutorials Categories
- Code Courses by Envato Tuts+
- Welcome to Python.org
- Overview — Python 3.5.1 documentation
- Haskell Language
- Archives - Ruslan's Blog
- Lecture notes and assignments
- OCW Course Index | MIT OpenCourseWare | Free Online Course Materials
- 500 Lines or Less
- 图灵社区: 合集 : 开源软件架构翻译计划
- 搜索 - 推酷
- Overleaf: Online LaTex, Template
- ShareLaTeX, 在线LaTeX编辑器
- TeXample.net
- 知识库 - CSDN
- JUnit - About
- lpaste
- languages -> JS
- Travis CI - Test and Deploy Your Code with Confidence
- app veyor
- Atom - Packages
- C311/B521/A596 Programming Languages [Schedule]
- InfoQ
- Udacity - Free Online Classes & Nanodegrees
- 首页——北京大学百周年纪念讲堂
- OpenJudge - 算法分析和复杂性理论 - 首页
- blog.might.net
- infoQ - Language Design
- Lecture 01: Course Overview
- 北京大学教学网
- DigitalOcean - Droplet
- 选择、获取最新可用 IPv6 或教育网校园网 hosts - 奶齿 Netsh
- c - What's the difference between a null pointer and a void pointer? - Stack Overflow
- cppreference.com
- 七月在线 - 专注数据领域的在线教育
- Hot Questions - Stack Exchange
- Computer Laboratory – Course material 2010–11: Advanced Category Theory in Computer Science
- * The Business of Software
- Home | Codewars
- IMSLP/Petrucci Music Library: Free Public Domain Sheet Music
- Kaggle: Your Home for Data Science
- 北京市小客车指标管理信息系统
- Dashboard · GitBook
- 实习机会 - 微软亚洲研究院
- 学生 - Google招贤纳士
- 天池大数据科研平台-打造“数据众智、众创”第一平台
- 优达学城 - 所有课程和纳米学位项目
- Pocket: 我的列表
- NLPJob
- 计算机最新国际会议和期刊列表 - Conference Partner (会伴)
- Home | Handbook for RPg Studies 2016-17
- 香港科技大学计算机科学及工程学系研究生招生资讯
- Fully-Funded Research Postgraduate Studies | Funding | Prospective Students | HKUST Office Of Postgraduate Studies
- HKUST Scholarly Publications
- FAQ | The Graduate University For Advanced Studies (SOKENDAI) / School of Multidisciplinary Sciences Department of Informatics Ph.D.Program
- Zhenjiang Hu's home page
- Programming Research Laboratory
- PhD in Computer Science | Graduate Admissions
- DPhil in Computer Science | University of Oxford
- 国家留学信息平台
- 扇贝口语
- 背单词记录 - baicizhan.com
- Aiiizen / home — Bitbucket
- Home | Google Summer of Code
- PyTorch Forums
- 研究生quit经验总结 - 美国留学 寄托家园留学论坛
- SRC About
- ISC 2015 Student Cluster Competition - HPC Advisory Council
- 世界图书出版公司书目_世界图书出版公司作品- 京东图书
- 大赛主页 - T派
- 扇贝，知道你在改变
- 英语听力练习_日语_韩语_法语听力训练网站-沪江听力酷
- 开心词场,超爽型背词工具-沪江网hujiang.com
- OpenJudge - OpenJudge
- Codeforces
- 比你優秀千萬倍的人都比你努力 - 收藏夹 - 知乎
- 牛客网-专业IT笔试面试备考平台,最全C++JAVA前端求职题库,全面提升IT编程能力
- Coursera | Online Courses From Top Universities. Join for Free | Coursera
- 人类历史上有哪些思维能力特别强的人？他们有哪些独特的思考方法？ - 知乎
- Courses | Stanford Lagunita
- Introduction to Statistical Learning
- JWarmenhoven/ISLR-python: An Introduction to Statistical Learning (James, Witten, Hastie, Tibshirani, 2013): Python code
- Google 学术搜索
- 码农书架 - Ver 2017.1 - 知乎专栏
- Mining-the-Social-Web-2nd-Edition
- 清帆远航 | 参加来自全球的在线项目
- [J: CCF B][Unknown]-Scope and Call for Papers
- [C: CCF B][17.9.10]-Home | DATE 2018
- [J: CCF A][Unknown]-TCAD - CEDA
- [J: CCF B][Unknown] - ACM TECS
- [C: CCF B][18.3.x]-CHES
- [C: CCF B][18.4.x]-Home | ICCAD
- CCF推荐排名1
- CCF推荐排名2
- 怎么才能托福快速达到 110+？ - 知乎
- 清华大学学生经济金融论坛
- Class Central
- 10-705 Intermediate Statistics, Fall 2016
- 在压缩到极小的状态下，你所处的专业由哪几门课程组成？ - 知乎
- Index of /~cocteau/stat105/lectures
- 可汗学院_网易公开课
- 可汗学院 - 搜索结果 - 哔哩哔哩弹幕视频网 - ( ゜- ゜)つロ 乾杯~ - bilibili
- 统计学习 - 热门问答 - 知乎
- Math ∩ Programming
- Primers | Math ∩ Programming
- Main Content | Math ∩ Programming
- VideoLectures.NET - VideoLectures.NET
- biendata
- DATA - COMPETETION
- ageitgey/face_recognition: The world's simplest facial recognition api for Python and the command line
- cmusatyalab/openface: Face recognition with deep neural networks.
- oarriaga/face_classification: Real-time face detection and emotion/gender classification using fer2013/imdb datasets with a keras CNN model and openCV.
- RiweiChen/DeepFace: Face analysis mainly based on Caffe. At this time, face analysis tasks like detection, alignment and recognition have been done.
- davidsandberg/facenet: Face recognition using Tensorflow
- shantnu/FaceDetect
- 比较好的开源人脸识别软件有哪些？ - 知乎
- 你在读博士期间明白的最深刻的道理是什么？ - 知乎
- Probabilistic Programming
- The Neural Network Zoo - The Asimov Institute
- Python Call Graph — Python Call Graph 1.0.1 documentation
- gleitz/howdoi: instant coding answers via the command line
- 蒙特利尔大学开放MILA 2017夏季深度学习与强化学习课程视频（附完整PPT） - 知乎专栏
- AI Challenger - 全球AI挑战赛
- 网络安全 - 热门问答 - 知乎
- 计算机网络 - 热门问答 - 知乎
- 北京大学教务部
- https://papers.nips.cc/
- Washington University in St. Louis Machine Learning Publications Database
- 【深度学习】深度学习NLP（牛津大学 2017）（英文字幕）_演讲•公开课_科技_bilibili_哔哩哔哩
- 李宏毅深度学习(2017)_演讲•公开课_科技_bilibili_哔哩哔哩
- 斯坦福2017季CS224n深度学习自然语言处理课程（by Chris Manning & Richard Socher）（英文字幕）_演讲•公开课_科技_bilibili_哔哩哔哩
- 【增强学习】CS294-112深度增强学习课程（加州大学伯克利分校 2017）（部分英文字幕）_演讲•公开课_科技_bilibili_哔哩哔哩
- 通知与公告 北京大学教务部
- 教育实践平台-eHPC
- Finance and capital markets | Economics and finance | Khan Academy
- Conference Search
- Top Conferences for Machine Learning & Arti. Intelligence
- Guide 2 Research
- Quantitative Economics
- Quantopian Tutorials
- Jane Street
- quantopian/research_public: Quantitative research and educational materials
- CS 294n深度强化学习中文笔记 - 知乎专栏
- [CCF-B] dblp: Machine Learning
- Mathematical Tours - Mathematical Tours of Data Sciences
- Numerical Tours - A Numerical Tour of Data Science
- 宏观经济算命师的解签 - 知乎专栏
- WeGene - 个人遗传基因检测服务平台
awesome
- meta awesome
- awesome-math
- awesome-python
- awesome-artificial-intelligence
- awesome-machine-learning
- awesome-tech-videos
- awesome-speaking
- awesome-talks
- awesome-static-analysis
- papers-we-love
- plt
- PLT-Papers
- The Architecture of Open Source Applications
- sajith/cs-papers: Ye Olde Computer Science Scrolls!
- Memect: Memory Connected
- STAR!!! - awesome-courses
- Saylor Academy
- Great Works in Programming Languages
- List of data structures - Wikipedia
- Best paper awards at AAAI, ACL, CHI, CIKM, CVPR, FOCS, FSE, ICCV, ICML, ICSE, IJCAI, INFOCOM, KDD, MOBICOM, NSDI, OSDI, PLDI, PODS, S&P, SIGCOMM, SIGIR, SIGMETRICS, SIGMOD, SODA, SOSP, STOC, UIST, VLDB, WWW
- E.W.Dijkstra Archive: Home page
- [资料合集] RednaxelaFX写的文章/回答的导航帖（work in progress） - 编程语言与高级语言虚拟机杂谈（仮） - 知乎专栏
- 那些改变我对编程看法的演讲 - 知乎专栏
- Talks that changed the way I think about programming – Oliver Powell
- [QA]你所读的计算机科学方向，有哪些不错的讲义（Notes）？ - 知乎
- songrotek/Deep-Learning-Papers-Reading-Roadmap: Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!
- ritchieng/the-incredible-pytorch: The Incredible PyTorch: a curated list of tutorials, papers, projects, communities and more relating to PyTorch.
- Courses and Seminars, Programming Systems Lab, Prof. Gert Smolka
- terryum/awesome-deep-learning-papers: The most cited deep learning papers
- Frank Pfenning - PLT Courses
- Kaggle Past Competitions
- Cross Validated
- Machine Learning News - Google group
- reddit : Machine Learning
- statistics
- CMU all courses
- kailashahirwar/cheatsheets-ai: Essential Cheat Sheets for deep learning and machine learning researchers
- 那些相见恨晚的日语学习网站 - 知乎专栏
- Two Minute Papers - YouTube
- nikitavoloboev/my-mac-os: 💻 a list of applications, alfred workflows and various tools that make my macOS experience even more amazing
- thuquant/awesome-quant: 中国的Quant相关资源索引
- arxiv - Quantitative Finance
- awesome-quant/papers.md at master · thuquant/awesome-quant
- The Gaussian Processes Web Site
- Deep Learning Weekly | Deep Learning Weekly | Deep Learning news from
- wizardforcel (@wizardforcel) on GitBook · GitBook
- thuquant/awesome-quant: 中国的Quant相关资源索引
Read List-1
- How to Create a Sublime Text 2 Plugin
- Closure (computer programming) - Wikipedia, the free encyclopedia
- Syntactic closure - Wikipedia, the free encyclopedia
- Partial application - Wikipedia, the free encyclopedia
- Evaluation strategy - Wikipedia, the free encyclopedia
- Eager evaluation - Wikipedia, the free encyclopedia
- Partial evaluation - Wikipedia, the free encyclopedia
- Reduction strategy (lambda calculus) - Wikipedia, the free encyclopedia
- Abstract machine - Wikipedia, the free encyclopedia
- Category:Lambda calculus - Wikipedia, the free encyclopedia
- Homotopy type theory - Wikipedia, the free encyclopedia
- Short-circuit evaluation - Wikipedia, the free encyclopedia
- Remote evaluation - Wikipedia, the free encyclopedia
- Template metaprogramming - Wikipedia, the free encyclopedia
- Programming paradigm - Wikipedia, the free encyclopedia
- Funarg problem - Wikipedia, the free encyclopedia
- Scope (computer science) - Wikipedia, the free encyclopedia
- Referential transparency - Wikipedia, the free encyclopedia
- Name binding - Wikipedia, the free encyclopedia
- Semantics (computer science) - Wikipedia, the free encyclopedia
- Denotational semantics - Wikipedia, the free encyclopedia
- Search · icfp
- Search · popl
- Search · pldi
- Web Server
- Web Server Tutorial
- Let’s Build A Web Server. Part 1. - Ruslan's Blog
- Ruslan's Blog
- Why Dependently Typed Programming Will (One Day) Rock Your World
- Philosophy of science books every computer scientist should read
- xavier/sicp-notes: My notes as a I go through the legendary 1986 SICP lectures given by Professors Sussman and Abelson.
- CS 61A Summer 2010: Structure and Interpretation of Computer Programs
- Mastering Markdown · GitHub Guides
- Apply - Wikipedia, the free encyclopedia
- Edsger W. Dijkstra on Dutch TV - YouTube
- Edsger W. Dijkstra on Dutch TV - YouTube
- Scheme Macro Programming
- Alan Kay - Wikipedia, the free encyclopedia
- Pure (programming language) - Wikipedia, the free encyclopedia
- 15-312 Principles of Programming Languages
- What is static analysis?
- shell学习路线_shell学习计划_慕课网学习路径
- Python - Python实现基于协程的异步爬虫 - 实验楼
- Analyzing Programs with Z3 | jelv.is
- Programming language specification - Wikipedia, the free encyclopedia
- https://cgi.soic.indiana.edu/~c311/lib/exe/fetch.php?media=cps-notes.scm
- Continuation-passing style - Wikipedia, the free encyclopedia
- [Scheme]Understanding the Yin-Yang Puzzle - Scan. - 博客园
- What is continuation-passing style in functional programming? - Quora
- Haskell函数式编程入门
- ZoomEye高级黑
- Hindley–Milner type system - Wikipedia, the free encyclopedia
- PhD, Research, and Programming Languages
- recursion-to-iteration series - Tom Moertel’s Blog
- Functional Fun: Bouncing on your tail
- denysdovhan/bash-handbook: For those who wanna learn Bash
- TerrorJack/ucore_os_lab: os kernel labs for operating systems course in Tsinghua University.
- Character encoding - Wikipedia, the free encyclopedia
- By example: Continuation-passing style in JavaScript
- How to compile with continuations
- TypeClasses.pdf
- Parametricity and Modular Reasoning
- Intro to Parsing with Parsec in Haskell
- Typed Lambda-Calculus
- 10. racket - Control Flow
- The Complete Beginner’s Guide To Chatbots — Chatbots Magazine
- hackerkid/bots: Curated list of resources on building bots
- Just-in-time compilation - Wikipedia, the free encyclopedia
- Haskell by Example
- Generic programming - Wikipedia, the free encyclopedia
- adhoc-polymorphsim - philip wadler
- milner-damas_principal_types.pdf
- Home · Z3Prover/z3 Wiki
- Jones, Gomard, Sestoft: Partial Evaluation
- Semantics with Applications
- How the V8 engine works?
- 创业公司 - 热门问答 - 知乎
- 公司财税 - 话题精华 - 知乎
- 避税 - 话题精华 - 知乎
- 创业公司如何 X - 话题精华 - 知乎
- 创业法务 - 话题精华 - 知乎
- 股权 - 话题精华 - 知乎
- 公司法 - 内容精选 - 知乎
- 《きつねさんでもわかるLLVM コンパイラを自作するためのガイドブック》 柏木 餅子, 風薬【摘要 书评 试读】图书
- Index of /afs/cs.cmu.edu/academic/class/15745-s14/public/lectures
- CS:APP3e, Bryant and O'Hallaron
- 15-818A3 Introduction to Separation Logic
- Unification (computer science) - Wikipedia, the free encyclopedia
- Lecture 26: Type Inference and Unification
- Homotopy Type Theory
- NoSQL 简介 | 菜鸟教程
- What is Syntax Directed Translation (SDT) - YouTube
- Category:Glossary - HaskellWiki
- completeness.pdf
- Static program analysis - Wikipedia, the free encyclopedia
- 随机应变的访问者模式（Visitor Pattern） - 知知为知知 - ITeye技术网站
- 深入浅出设计模式——访问者模式（Visitor Pattern） - Bobby0322 - 博客园
- 设计模式总结之Visitor Pattern（访问者模式） - cooldragon的专栏 - 博客频道 - CSDN.NET
- 15-411 Compiler Design / Schedule
- 15-745 Handouts
- MIT Course 16.399: « Abstract Interpretation » Home Page
- Abstract Interpretation in a Nutshell
- LLVM Tutorial: Table of Contents — LLVM 4.0 documentation
- 19 Reasoning about Programs: A First Look at Types
- What is type safety? - The PL Enthusiast
- Chapter 4 Calculus of Inductive Constructions
- Introduction to the Calculus of Inductive Constructions
- oplss-herbelin1.pdf
- Oregon Programming Languages Summer School
- 15-213 (18-213/15-513): Introduction to Computer Systems
- 15-213 (18-213/15-513): Introduction to Computer Systems
- 【读薄 CSAPP】零 系列概览 | 小土刀
- Why is NFA used when we already have DFA? Is it because NFA is easier to create and then we can convert back to DFA? - Quora
- How can I create DFA using python? - Quora
- Why are all proof assistants written in functional programming languages? - Quora
- Why does software have bugs? - Quora
- Visitor pattern - Wikipedia, the free encyclopedia
- OCaml – OCaml
- Why is OCaml's (+) not polymorphic? - Stack Overflow
- f# - What is the difference between the `fun` and `function` keywords? - Stack Overflow
- Compiling OCaml projects – OCaml
- Modules – OCaml
- Streams Expressions – OCaml
- Rewriting Micro Compiler in OCaml using ocamllex and ocamlyacc - Troydm's Blog
- Lexer and parser generators (ocamllex, ocamlyacc)
- OCaml Tutorials – OCaml
- nasm - Google Search
- tapl/fulluntyped/src at master · mobajm/tapl
- troydm/micro at simple
- NASM
- Chapter 16. Parsing with OCamllex and Menhir / Real World OCaml
- Labels – OCaml
- 搭建Shadowsocks服务器 - 简书
- 教你如何搭建自己的Shadowsocks服务器。 | xqd的小站
- 科学上网：用 VPS 搭建 shadowsocks 服务器-526294412-ChinaUnix博客
- vscode-Intro Videos Overview
- How do I write a simple compiler? - Quora
- c++ - Differences between unique_ptr and shared_ptr - Stack Overflow
- c++ - Should I use shared_ptr or unique_ptr? - Stack Overflow
- c++ - What is a smart pointer and when should I use one? - Stack Overflow
-
- CS 3110 - Spring 2014 - Lecture Notes
- steele.pdf
- How to prove a language is regular? - Computer Science Stack Exchange
- SKI combinator calculus - Wikipedia, the free encyclopedia
- CompCert - Main page
- big list - What papers should everyone read? - Theoretical Computer Science Stack Exchange
- www.csc.lsu.edu/~chen/GreatPapers.html
- Null Safety - Kotlin Programming Language
- Null Versus None
- Static Code Analysis - Quora
- How is static program analysis isomorphic to the maximum satisfiability problem? - Quora
- What is the difference between algebra, linear algebra, and abstract algebra? - Quora
- 77
- Data flow analysis is model checking of abstract interpretations
- algorithm analysis - Is there a technique for statically checking that a function is only called at a particular rate? - Computer Science Stack Exchange
- POPL-97-publie-2e.dvi
- 98kluwer-synthesis.pdf
- Ras Bodik - EECS - Computer Science Division - UC Berkeley
- The Universes of Max Tegmark
- AbstractAlgebra.pdf
- Algebra - Wikipedia, the free encyclopedia
- Abstract algebra - Wikipedia, the free encyclopedia
- What is relationship between linear algebra and abstract algebra? - Quora
- computability - Does there exist a Turing complete typed lambda calculus? - Computer Science Stack Exchange
- Rewriting - Wikipedia, the free encyclopedia
- Normalization property (abstract rewriting) - Wikipedia, the free encyclopedia
- Total functional programming - Wikipedia, the free encyclopedia
- What breaks the Turing Completeness of simply typed lambda calculus? - Mathematics Stack Exchange
- Is there a "good enough" solution for the halting problem? - Stack Overflow
- How is First Order Logic complete but not decidable? - Philosophy Stack Exchange
- proof verification - Proving Undecidability of first order logic without first proving it for arithmetic. - Mathematics Stack Exchange
- computability - A total language that only a Turing complete language can interpret - Theoretical Computer Science Stack Exchange
- type theory - Is there a typed lambda calculus which is consistent and Turing complete? - Theoretical Computer Science Stack Exchange
- Judgment - Everything2.com
- Meanings-of-the-Logical-Constants-1983.pdf
- CS295 Software Engineering
- WSSA'03: David Schmidt's lectures
- [0810.2179] Structural abstract interpretation, A formal study using Coq
- MIT Course 16.399: « Abstract Interpretation » Home Page
- 15-414 Bug Catching: Automated Program Verification and Testing
- Recherche -- Coq & type theory
- Formal Specification and Verification - First-Order Logic
- Vorlesung "Formale Spezifikation und Verifikation"
- CS:APP3e - Lab , Bryant and O'Hallaron
- 小提琴知识总汇--初学必看
- 小提琴初级教程_图文_百度文库
- Search the Stack Exchange Network of Sites
- Search - denotational semantics - Quora
- What is the Best online resource to learn C++ 14 for intermediate programmers? - Quora
- CMake vs Make | PERPETUAL ENIGMA
- vonzhou/CSAPP: CSAPP,《深入理解计算机系统结构》2nd ，阅读与实践！
- mofaph/csapp: Computer Systems: A Programmer's Perspective
- Which language has the brightest future in replacement of C between D, Go and Rust? And Why? - Quora
- algorithm - Context-free grammars versus context-sensitive grammars? - Stack Overflow
- P vs. NP and the Computational Complexity Zoo - YouTube
- How does a pushdown automaton differ from a Turing machine? - Quora
- Turing machines and linear bounded automata - Informatics 2A: Lecture 29
- Context Sensitive Grammar
- Intermediate Representations
- How to implement dependent type theory I | Mathematics and Computation
- lo.logic - What is the most intuitive dependent type theory I could learn? - Theoretical Computer Science Stack Exchange
- Certified Programming with Dependent Types
- Data-flow analysis - Wikipedia
- Software Security - OVERVIEW | Coursera
- Lec05-Interprocedural.pdf
- procedure_summaries.pdf
- dynamic programming - Google Search
- Search - dynamic programming - Quora
- Search the Stack Exchange Network of Sites
- CFL - reachability - paper.pdf
- lecture20.dvi
- Complexity Classes: P, NP, co-NP, PSPACE | Concrete Nonsense
- 什么是伪多项式时间算法？ - 詹宇的回答 - 知乎
- dens.dvi
- Computer Laboratory – Course material 2010–11: Denotational Semantics
- Semantics
- Computer Laboratory – Course material 2010–11: Denotational Semantics
- dens.dvi
- OS - 6.828 / Fall 2014
- Neural Networks, Types, and Functional Programming -- colah's blog
- demotSem in coq - main.dvi
- Some stupid questions on denotational semantics | Lambda the Ultimate
- Definitional interpreters for higher-order programming languages
- First-class, run-time macros from meta-circular evaluators
- Coroutine - Wikipedia
- 学小提琴应掌握的基本乐理知识_Viola_新浪博客
- 写给理工科人看的乐理（一）声学基础 - Devymex - 博客园
- 理科生都懂的乐理 - 简书
- Python - Python实现Python解释器 - 实验楼
- Code audit - Wikipedia
- Defensive programming - Wikipedia
- POJ 1952 BUY LOW, BUY LOWER DP 最长下降序列求个数 - To be an ACMan - 博客园
- Understanding LSTM Networks -- colah's blog
- 歪写数学史（原创长篇）第十八章 浅谈乐理中的数学 | 果壳网移动版
- 和弦的定义是什么？ - 知乎
- 怎么给旋律配和弦？ - 知乎
- 纯律、十二平均律和五度相生律是如何产生的？ - 知乎
- Operator-precedence parser - Wikipedia
- How to Build a Virtual Machine - YouTube
- SSH日常用法小例 -- 系统运维 -- IT技术博客大学习 -- 共学习 共进步！
- Eve
- How Eve unifies your entire programming stack – Hacker Noon
- How Eve unifies your entire programming stack
- Gamasutra: Michael Kissner's Blog - Writing a Game Engine from Scratch - Part 1: Messaging
- 谷歌微软等科技巨头数据科学面试107道真题：你能答出多少？ - 知乎专栏
- Python Graphviz 图使用示例 – WTF Daily Blog
Read List-2
- Order theory for computer scientists
- Monads in Scheme
- CS240h: Functional Systems in Haskell
- USTC - PL_Lecture Notes
- CS242: Lectures -- CourseWare
- Boost源码剖析 - 刘未鹏|C++的罗浮宫 - 博客频道 - CSDN.NET
- haskell系列教程1 @ 滴滴FP-教育视频-爱奇艺
- parsing - Difference between an LL and Recursive Descent parser? - Stack Overflow
- Boost C++ Libraries
- Haskell/Denotational semantics - Wikibooks, open books for an open world
- Haskell - Wikibooks, open books for an open world
- kaivanwadia/DFAFramework: Dataflow Analysis Framework created for LLVM IR. Class project for CS-380C Compilers
- rise4fun
- Programming Talks
- Local optimization of Three-Address-Code | @Blog("Baptiste Wicht")
- 15-213: Introduction to Computer Systems / Schedule Fall 2014
- abstract algebra - YouTube
- 15-213/18-213/15-513 Introduction to Computer Systems / Schedule Summer 2015
- Model Checking 08/09
- CS 720,Model Checking Fall 2014 Home Page
- Haskell系列教程@滴滴FP-视频在线观看- 滴滴FP-爱奇艺
- 协程的好处是什么？ - 知乎
- IO - 同步，异步，阻塞，非阻塞 （亡羊补牢篇） - 智障大师 的专栏 - 博客频道 - CSDN.NET
- CS166 - Advance Data Structure - Archive
- 随机过程 - 话题精华 - 知乎
- S&P 500 Index - Wikipedia
- General examples — scikit-learn 0.18.1 documentation
- Complete Guide to Parameter Tuning in XGBoost (with codes in Python)
- Boosted Tree – 我爱计算机
- Introduction to Boosted Trees — xgboost 0.6 documentation
- Static single assignment form - Wikipedia
- First-order logic - Wikipedia
- Gödel's completeness theorem - Wikipedia
- Peano axioms - Wikipedia
- Gödel's incompleteness theorems - Wikipedia
- Proof sketch for Gödel's first incompleteness theorem - Wikipedia
- True arithmetic - Wikipedia
- B-树和B+树的应用：数据搜索和数据库索引 - 文章 - 伯乐在线
- 深入理解堆和栈 - 推酷
- Tarjan算法寻找有向图的强连通分量 - 推酷
- CS166: Data Structures
- https://www.cs.purdue.edu/homes/suresh/565-Spring2009/
- graphs.pdf
- 15-745 Syllabus
- 15-745 Optimizing Compilers for Modern Architectures, Spring 2016
- VS3: Verification and Synthesis using SMT Solvers
- 15-411 Compiler Design / Schedule
- CS252r - Harvard University
- Static Single Assignment Book [pdf] | Hacker News
- Simple and Efficient SSA Construction
- If Statements, Loops and Recursion – OCaml
- Map – OCaml
- Set – OCaml
- Comparison of Standard Containers – OCaml
- Hash Tables – OCaml
- 99 problems – OCaml
- education - Is objected oriented programming paradigm outdated since it is anti-modular and anti-parallel? - Software Engineering Stack Exchange
- 几个基本概念辨析：流敏感，路径敏感和上下文敏感 - qysh123的专栏 - 博客频道 - CSDN.NET
- 科学网—流敏感/流不敏感和上下文敏感/上下文不敏感 - 井靖的博文
- CS103 Archive
- CS106L Archive
- CS161 Archive
- Tombstone diagram - Wikipedia
- Lưu Vĩnh Phúc's answer to In what language are C and C++ compilers written? - Quora
- Bootstrapping (compilers) - Wikipedia
- CPS变换与CPS变换编译 - 朱冲喵的文章 - 知乎专栏
- 虚拟机随谈（一）：解释器，树遍历解释器，基于栈与基于寄存器，大杂烩 - Script Ahead, Code Behind - ITeye技术网站
- Is it possible to use sbv to implement a type inference engine?：haskell
- z3 tutorial
- Learning CMake: A beginner's guide · GitBook
- Quick CMake Tutorial.
- make makefile cmake qmake都是什么，有什么区别？ - 知乎
- Introduction to Automata Theory, Languages, and Computation: Solutions for Chapter 2
- Set theory - Wikipedia
- Naive set theory - Wikipedia
- Theories of Programming Languages, Spring 2016
- 哥德尔不完备定理说，自然数公理体系中，存在真命题，不可被证明。那什么叫真命题，甚至什么叫命题? - 知乎
- 如何简单清晰地解释哥德尔不完备定理？ - 知乎
- Zobel - Writing for computer science 3rd edition.pdf
- Is first order logic decidable? - Quora
- Haddock
- 函数式编程的早期历史 - 父母心 - 知乎专栏
- Econometrics // Lecture 1: Introduction - YouTube
- Electron: Desktop Apps with Web Languages - GitHub Universe 2016 - YouTube
- Non-standard model - Wikipedia
- Intended_Interpretation (logic) - Wikipedia
- Presburger arithmetic - Wikipedia
- What is the relation between First Order Logic and First Order Theory? - Computer Science Stack Exchange
- Theory (mathematical logic) - Wikipedia
- Ahead-of-time compilation - Wikipedia
- 为什么要公理化实数而不是从自然数导出？ - 知乎
- 数学上能否指出某个公理体系中符合哪些条件的真命题是可以证明的，符合哪些条件的命题是「真而不可证」的？ - 知乎
- Guarded Command Language - Wikipedia
- Separation of concerns - Wikipedia
- E.W. Dijkstra Archive: On the role of scientific thought (EWD447)
- POJ1947：Rebuilding Roads(树形DP) - ACM！荣耀之路！ - 博客频道 - CSDN.NET
- 树形动态规划（树形DP）入门问题—初探 & 训练 - 在思索中前行！ - 博客频道 - CSDN.NET
- DataTypesALaCarte.pdf
- Welcome to PLT Redex
- The Frame Problem (Stanford Encyclopedia of Philosophy)
- Financial Domain-Specific Language Listing and Resources
- D3.js - Data-Driven Documents
- Computer security software - Wikipedia
- Software security assurance - Wikipedia
- What is Software Security? | Cigital
- What is Software Security? - Definition from Techopedia
- Software Security - University of Maryland, College Park | Coursera
- Python操作MySQL数据库_python操作数据库对象_python增删改查数据库-慕课网
- 10分钟python图表绘制 | seaborn入门（一）：distplot与kdeplot - 知行的文章 - 知乎专栏
- 10分钟python图表绘制 | seaborn入门（二）：barplot与countplot - 粗鄙之语 - 知乎专栏
- 集合论和一阶逻辑的关系？ - 知乎
- 正则表达式与AOT编译 - 梨梨喵的文章 - 知乎专栏
- Partial evaluation - Wikipedia
- Compilers for Free
- Central limit theorem - Wikipedia, the free encyclopedia
- Law of large numbers - Wikipedia
- Private Leaderboard - CIFAR-10 - Object Recognition in Images | Kaggle
- 课程详细信息
- 课程详细信息
- 2016年，我对爬虫的总结 - php/java - SegmentFault
- 卷积为什么叫「卷」积？ - 知乎
- What is symbolic computation? - Stack Overflow
- Algebra of Programming - How to use it? - Cofree - 知乎专栏
- Positive-definite matrix - Wikipedia
- Index of /~horwitz/CS704-NOTES
- Functors, Applicatives, And Monads In Pictures - adit.io
- POSIX - Wikipedia
- 程序与证明 - 推酷
- 学习Redis从这里开始 - 异步社区
- Wrapper - Wikipedia
- 某些库支持多种编程语言接口（API）是怎么实现的？ - 知乎
- 如何用OpenGL封装一个2D引擎？ - 知乎
- How do multiple-languages interact in one project? - Stack Overflow
- JS 与 C++ 的交互 1——JS 代码调用 C++ 代码 - Cocos2D-x 从 C++ 到 JS 的进阶之路 - 极客学院Wiki
- JavaScript引擎研究与C、C++与互调用 - ice6015的专栏 - 博客频道 - CSDN.NET
- 不同编程语言之间是如何沟通的？ - 知乎
- python - How do programming languages call code written in another language? - Stack Overflow
- Application programming interface - Wikipedia
- Standards, APIs, Interfaces and Bindings
- The Design and Implementation of a Language for Extending Applications (PDF Download Available)
- Application binary interface - Wikipedia
- Language binding - Wikipedia
- Wrapper function - Wikipedia
- glossary - What is a language binding? - Stack Overflow
- Chapter 19. Foreign Function Interface / Real World OCaml
- Foreign function interface - Wikipedia
- Language interoperability - Wikipedia
- Cross-Language Interoperability
- SWIG - Wikipedia
- Calling convention - Wikipedia
- c - How does a programming language call libraries written in another language? - Stack Overflow
- 领域专用语言(DSL)迷思
- Domain-specific language - Wikipedia
- When and how to develop domain-specific languages
- Notable Design Patterns for Domain-Specific Languages
- DSL Guide
- dslbib.pdf
- MagicPoint presentation foils
- 领域专用语言（DSL） - Martin Fowler's Bliki 中文版 - 博客频道 - CSDN.NET
- Research vs implementation, theory vs practice, and LtU | Lambda the Ultimate
- Fixed points considered harmful | Lambda the Ultimate
- DSL的演进
- DSL：单一语言开发的终结者？
- 微软加入OMG：选择DSL还是UML？
- WebDSL：DSL设计案例
- 使用高度抽象的DSL来减轻测试负担？
- (1) What is a DSL (domain specific language)? How does it differ from the other programming languages? - Quora
- What are good books on best practices of the design of domain-specific languages (DSL)? - Quora
- 别让“英式中文”毁了一篇好译文 - 简书
- Leakage | Kaggle
- What Every Computer Scientist Should Know About Floating-Point Arithmetic
- JIT编译的结果能不能cache起来，下次直接利用呢？ - 知乎
- 有哪些类似于刘慈欣的《山》和杰弗里·A·兰迪斯的《镜中人》，从简单的物理问题衍生出来的短篇科幻小说？ - 知乎
- 镜中人（美国科幻小说）_百度百科
- Sketch-n-Sketch
- Monad (functional programming) - Wikipedia
- Effect system - Wikipedia
- typesandeffects.dvi - nielson-nielson-csd99.pdf
- List of functional programming topics - Wikipedia
- Persistent data structure - Wikipedia, the free encyclopedia
- Backus-CanProgrammingBeLiberated.pdf
- (D. A. Turner) Total Functional Programming
- The Implementation of Functional Programming Languages
- Why ML/OCaml are good for writing compilers
- I Seek a Reasonable Survey on the Concept of "Module System" | Lambda the Ultimate
- Parameterized Modules | Lambda the Ultimate
- State (computer science) - Wikipedia
- How to Design Programs: An Introduction to Computing and Programming
- 公开课版|一亩三分地论坛 - Powered by Discuz!
- 数学哲学 简介(上) - behind the mind - 知乎专栏
- 数学哲学 简介(下) - behind the mind - 知乎专栏
- 动手写一门简单语言吧喵 - 梨梨喵的文章 - 知乎专栏
- What is PL research and how is it useful? - The PL Enthusiast
- write a theorem prover - TR192.dvi
- schulz.pdf
- Write your own Theorem Prover
- 把编译/程序语言理论/程序静态分析作为自己的硕士课题，有什么可以做的，应该怎么下手？ - 知乎
- Variable mutation vs structure mutation：ProgrammingLanguages
- History of Programming Languages
- WebAssembly简介 - 时光与精神小屋 - 知乎专栏
- CS 442 - High Productivity and performance with Domain Specific Languages in Scala
- Shadowsocks 源码阅读 - 江以臣的文章 - 知乎专栏
- Crypto101 阅读笔记（1） | 0x01
- 源码阅读笔记：Python标准库SocketServer | 0x01
- 柯里-霍华德(Curry-Howard)同构有什么意义？ - 知乎
- Curry–Howard correspondence - Wikipedia, the free encyclopedia
- [1611.01989] DeepCoder: Learning to Write Programs
- DeepCoder自动编程机：用深度学习写程序 - 谷鹏举的文章 - 知乎专栏
- deepcoder
- 每个程序员都应该阅读的 10 篇论文（至少两遍） - 知乎专栏
- 首页 - Tsinsen 清橙网络自动评测系统 - 清橙
- Worktile 让工作更简单 - Worktile
- Schedule - CMU 15-721 :: Database Systems (Spring 2016)
- Rob Pike - Concurrency Is Not Parallelism_演讲•公开课_科技_bilibili_哔哩哔哩
- OpenPAL/TypeAndProof: https://openpal.github.io/TypeAndProof/
- 推荐每个程序员都看的技术演讲 - 文章 - 伯乐在线
- Higher-order abstract syntax - Wikipedia
- Expression problem - Wikipedia
- homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt
- Lecture: The Expression Problem
- Simplified Wrapper and Interface Generator
- Porting - Wikipedia
- Generator (computer programming) - Wikipedia
- What is the difference between an Iterator and a Generator? - Stack Overflow
- Data binding - Wikipedia
- 数据绑定概述
- SWIG Tutorial
- SWIG中文 | 首页
- 开发人员 SWIG 快速入门
- dmlc/nnvm: Intermediate Computational Graph Representation for Deep Learning Systems
- dmlc/dmlc-core at 3a51614d39b69fdb5de1efcf1016426626d267a6
- Lambda cube - Wikipedia, the free encyclopedia
- Clojure GSoC - 知乎专栏
- Lecture Notes
- WebAssembly 实践：如何写代码 - Weex - SegmentFault
- A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)
- A cartoon intro to WebAssembly ★ Mozilla Hacks – the Web developer blog
- 来谈谈WebAssembly是个啥？为何说它会影响每一个Web开发者？ - wulixiaoxiao1的博客 - 博客频道 - CSDN.NET
- JavaScript Just-in-time (JIT) 工作原理 - 知乎专栏
- 推荐一部真人秀，看完好想删了朋友圈。。。 - 知乎专栏
- Combinatory logic - Wikipedia
- 如何用几行代码打造应用程序热补丁？（一） - 知乎专栏
- PEP 8 -- Style Guide for Python Code | Python.org
- yunjey/pytorch-tutorial: tutorial for researchers to learn deep learning with pytorch
- tutorials/Deep Learning with PyTorch.ipynb at master · pytorch/tutorials
- Automatic differentiation package - torch.autograd — PyTorch 0.1.10 documentation
- 斯坦福CS231n—深度学习与计算机视觉 - 网易云课堂
- Kaggle入门，看这一篇就够了 - 知乎专栏
- 如何在 Kaggle 首战中进入前 10% | Wille
- Tensor Ranks, Shapes, and Types